https://simplicity.cs-manual.com/d-1338-2.html